Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
PEREIRA, V. C. Model checking probabilístico para apoiar a mitigação de evento de falta única em Field Programmable Gate Arrays (FPGAs). 2018. 134 p. IBI: <8JMKD3MGP3W34P/3QLQMU2>. (sid.inpe.br/mtc-m21b/2018/03.06.14.06-TDI). Dissertação (Mestrado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos, 2018. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34P/3QLQMU2>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Pereira (2018).
... pode ser encontrada na literatura (PEREIRA, 2018).